$\forall$$r$:CRng.
\\[0ex]Assoc($\mid$$r$$\mid$;+$r$)
\\[0ex]\& Ident($\mid$$r$$\mid$;+$r$;0)
\\[0ex]\& Inverse($\mid$$r$$\mid$;+$r$;0;{-}$r$)
\\[0ex]\& Assoc($\mid$$r$$\mid$;$\ast$)
\\[0ex]\& Comm($\mid$$r$$\mid$;$\ast$)
\\[0ex]\& Ident($\mid$$r$$\mid$;$\ast$;1)
\\[0ex]\& BiLinear($\mid$$r$$\mid$;+$r$;$\ast$)
\\[0ex]\& IsEqFun($\mid$$r$$\mid$;=$_{b}$)